Issue950a.agda:19,1-4
Cannot eliminate type  A  with projection  x
when checking the clause left hand side
x f
